@InProceedings{broadbentkarvonen:categoricalcrypto,
      title={Categorical composable cryptography}, 
      author={Anne Broadbent and Martti Karvonen},
      year={2022},
      booktitle={Foundations of Software Science and Computation Structures (FoSSaCS)},
      publisher={Springer},
      series={Lecture Notes in Computer Science},
      volume={13242},
      pages={161--183},
      doi={10.1007/978-3-030-99253-8_9},
}